document.write("<plaintext>");
